Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
221	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability
222	Static conflict detection for a policy language∗ Alix Trieu1 , Robert Dockins2 , Andrew Tolmach3 1: ENS Rennes, 2: Galois, Inc. Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-12-15 05:39:41 Software engineering Mathematics Computing Formal languages Character encoding String Tree Foreach loop Parity of a permutation
223	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language
224	A Lattice-Based Approach to Deterministic Parallelism Lindsey Kuper and Ryan R. Newton Indiana University POPL 2013 Student Session 25 January 2013 Add to Reading List Source URL: www.cs.indiana.edu Language: English Formal languages Probability theory Boolean algebra Measure theory Sigma-algebra Permutation
225	Language CoLLAGE: Grammatical Description with the LinGO Grammar Matrix Emily M. Bender University of Washington Department of Linguistics Box Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2014-05-20 12:22:13 Grammar Linguistics Cognitive science Language Generative linguistics Syntax Formal languages Natural language processing DELPH-IN Head-driven phrase structure grammar Predicate Parsing
226	Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:18:52 Logic Mathematical logic Mathematics Model theory Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus
227	Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages: Full Formal Development Tim Felgentreff, Todd Millstein, Alan Borning Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-08-28 18:14:08 Vehicle identification number Symbol
228	Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-31 14:37:32 Syntax Formal languages Cognitive science Grammar Linguistics Language Noam Chomsky Context-free grammar Transformational grammar Formal grammar Phrase structure grammar Syntactic Structures
229	Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2014-05-19 17:41:59 Compiler construction Parsing Formal languages Lexical analysis LR parser
230	Staged Self-Assembly and Polyomino Context-Free Grammars A dissertation submitted by Andrew Winslow in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2015-02-17 05:50:19 Formal languages Polyforms Mathematical games Mathematics Polyomino Language Culture Stochastic context-free grammar Context-free grammar CFGS CFG Context-free language

UPDATE